#pragma once

#include <bofcl_csr_r.h>

static inline void csr_wreg_mtvt(u32_s mtvt) {
	csr_wreg(CSR_MTVT, mtvt);
}
